Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
751	OUTLINE OF REFLECTION THEORY In the above diagram, the viewer is situated at point O, denoted by p = (0,-H,V), where H is the HORIZONTAL distance of the viewpoint from the origin, and V is the VERTICAL height. The co-or Add to Reading List Source URL: www.tonytooth.co.uk Language: English - Date: 2012-02-15 05:28:01 Vectors 3D computer graphics Surfaces Group theory Vector space Cartesian coordinate system Normal Angle Classical Hamiltonian quaternions Algebra Mathematics Linear algebra
752	APPLICATIONS OF LATTICES TO COMPUTER SECURITY Catherine Meadows Code 5543 Center for High Assurance Computer Systems US Naval Research Laboratory Add to Reading List Source URL: dimacs.rutgers.edu Language: English - Date: 2003-07-15 08:50:39 Algebraic groups Lattice Lattice theory Œ Information flow Abstract algebra Lie groups Algebra
753	Basis-Independent Polynomial Division Algorithm Applied to Division in Lagrange and Bernstein Basis Manfred Minimair⋆⋆ Department of Mathematics and Computer Science Seton Hall University, 400 South Orange Avenue Add to Reading List Source URL: minimair.org Language: English - Date: 2007-12-19 12:31:14 Abstract algebra Polynomial Polynomial interpolation Bernstein polynomial Mathematics Polynomials Algebra
754	18 Vectors and Arrays “Caveat emptor!” —Good advice T Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2014-05-15 15:29:30 C++ Copy constructor Sequence container New Constructor C++ classes Assignment operator ALGOL 68 Array data type Algebra Computer programming Software engineering
755	Minimising Decision Tree Size as Combinatorial Optimisation? Christian Bessiere1 , Emmanuel Hebrard2 , and Barry O’Sullivan2 1 LIRMM, Montpelier, France Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:30 Decision trees Constraint programming Boolean algebra Binary tree Decision tree learning Constraint satisfaction Decision tree model Boolean satisfiability problem B-tree Theoretical computer science Mathematics Applied mathematics
756	Eurographics/ ACM SIGGRAPH Symposium on Computer AnimationM. Otaduy and Z. Popovic (Editors) A parallel multigrid Poisson solver for fluids simulation on large grids A. McAdams1,2 , E. Sifakis1,3 , and J. Teran1, Add to Reading List Source URL: www.math.ucla.edu Language: English - Date: 2010-10-13 18:10:35 Partial differential equations Numerical linear algebra Boundary conditions Numerical analysis Multigrid method Wavelets MEMO Model Lis Discrete Poisson equation Mathematical analysis Mathematics Calculus
757	PITCH ESTIMATION USING MODELS OF VOICED SPEECH ON THREE LEVELS Dominik Joho, Maren Bennewitz, and Sven Behnke University of Freiburg, Germany Department of Computer Science {joho, maren, behnke}@informatik.uni-freiburg.d Add to Reading List Source URL: hrl.informatik.uni-freiburg.de Language: English - Date: 2007-12-04 03:17:08 Abstract algebra Acoustics Multivariate statistics Time–frequency analysis Non-negative matrix factorization Pitch detection algorithm Vector space Pitch Formant Algebra Mathematics Linear algebra
758	Behavioral Verification of Distributed Concurrent Systems with BOBJ Joseph Goguen Dept. Computer Science & Engineering University of California at San Diego Abstract Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2005-07-09 15:47:18 Algebraic structures Group theory Module Congruence relation Subalgebra Group action Monad Abstract algebra Mathematics Algebra
759	IN Proc. IEEE Int. Conf. on Robotics & Automation, 2008 A Point-Based POMDP Planner for Target Tracking David Hsu∗ Wee Sun Lee∗ Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2008-07-11 05:01:44 Dynamic programming Markov processes Stochastic control Theoretical computer science Partially observable Markov decision process Markov decision process Motion planning Symbol Vector space Statistics Algebra Mathematics
760	Kodkod: A Relational Model Finder Emina Torlak and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {emina, dnj}@mit.edu Abstract. The key design challenges in the construction of a SAT-based Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Model theory Boolean algebra Relational model Logical connectives FO First-order logic Structure Relational algebra Finitary relation Mathematical logic Logic Mathematics

UPDATE